منابع مشابه
Gravity and BF theory defined in bounded regions
ABSTRACT We study Einstein gravity in a finite spatial region. By requiring a well-defined variational principle, we identify all local boundary conditions, derive surface observables, and compute their algebra. The observables arise as induced surface terms, which contribute to a non-vanishing Hamiltonian. Unlike the asymptotically flat case, we find that there are an infinite number of surfac...
متن کاملBounded Tree-Width and CSP-Related Problems
We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of deciding whether a structure A ∈ C has a homomorphism to a given arbitrary structure B, when each element in A is only allowed a certain subset of elements of B as its image. We prove, under a certain complexity-theore...
متن کاملCSP duality and trees of bounded pathwidth
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of homomorphism dualities involving trees of bounded pathwidth and in algebraic terms. For this, we introduce a new parameter for trees that closely approximates pathwidth and can be characterised via a hypergraph searchin...
متن کاملHX-hypergroups associated with the direct products of some ${bf Z}/n {bf Z}$
One studies the $HX$-hypergroups, corresponding to the Chinese hypergroups associated with the direct products of some ${bf Z}/n {bf Z},$ calculating their fuzzy grades.
متن کاملBounded Retransmission in Event-B∥CSP: a Case Study
Event-B‖CSP is a combination of Event-B and CSP in which CSP controllers are used in conjunction with Event-B machines to allow a more explicit approach to control flow. Recent results have provided an approach to stepwise refinement of such combinations. This paper presents a simplified Bounded Retransmission Protocol case study, inspired by Abrial’s treatment of this example, to illustrate se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1995
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-1995-1254851-7